how to format decimals in python